تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۲,۶۶ ثانیه یافت شد.

1. Formal modeling and analysis of timed systems :

پدیدآورنده : Kim G. Larsen, Peter Niebert (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.

2. Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers

پدیدآورنده : Kim G. Larsen, Peter Niebert )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Machine theory,Congresses ، Robots

رده :

QA

76

.

L28

Vol

.

2791

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها